Symmetry in Integer Linear Programming Franc¸ois Margot ∗ Abstract An integer linear program (ILP) is symmetric if its variables can be permuted without changing the structure of the problem. Areas where symmetric ILP

Source URL: wpweb2.tepper.cmu.edu

Invited Talk 1.2 STRUCTURE AND MODELLING OF LARGE-SCALE SOCIAL NETWORKS Jukka-Pekka Onnela Physics Department & Saïd Business School, University of Oxford, UK Abstract Electronic databases, from phone to e-mails logs, p

Source URL: www.ifr.ac.uk

0 (k(p) ) The structure of k(p) Product

Source URL: sarah-whitehouse.staff.shef.ac.uk

• Mathematics
• Discrete mathematics
• Abstract algebra
• Number theory
• Modular arithmetic
• Quadratic residue
• Permutations
• Lemmas

NILSEQUENCES AND A STRUCTURE THEOREM FOR TOPOLOGICAL DYNAMICAL SYSTEMS BERNARD HOST, BRYNA KRA, AND ALEJANDRO MAASS Abstract. We characterize inverse limits of nilsystems in topological dynamics, via a structure theorem

Source URL: www.math.northwestern.edu

Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of

Source URL: fritzo.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Logic in computer science
• Lambda calculus
• Models of computation
• Type theory
• Combinatory logic
• Theorem
• Structure
• Interpretation

Hybrid Overlay Structure Based on Random Walks Ruixiong Tian, Yongqiang Xiong, Qian Zhang, Bo Li, Ben Y. Zhao, Xing Li Abstract Application-level multicast on structured overlays often suffer several drawbacks: 1) The re

Source URL: iptps05.cs.cornell.edu

A STRUCTURE THEOREM IN PROBABILISTIC NUMBER THEORY MAKSYM RADZIWIÃLL Ã Abstract. We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be iden

Source URL: math.rutgers.edu

arXiv:1102.4310v1 [math.DS] 21 FebPENTAGONAL DOMAIN EXCHANGE SHIGEKI AKIYAMA AND EDMUND HARRISS Abstract. Self-inducing structure of pentagonal piecewise isometry is

Source URL: arxiv.org

A META-ANALYSIS OF THE MIREX STRUCTURE SEGMENTATION TASK Jordan B. L. Smith Queen Mary, University of London ABSTRACT

Source URL: www.music.mcgill.ca

Efficient Data Structure for Representing and Simplifying Simplicial Complexes in High Dimensions∗ [Extended Abstract] Dominique Attali André Lieutier

Source URL: www.gipsa-lab.grenoble-inp.fr